We need to address the idea of "search project providers" that can be made available
from plugins, so that for example, the git grep can be used when a search is made
under a dierctory in a git project.
Submitted | ezust - 2013-09-14 - 17:32:00z | Assigned | nobody |
---|---|---|---|
Priority | 5 | Category | Project Viewer |
Status | Open | Group | None |
Resolution | None | Visibility | No |